int run() {
	int a, b <- 1;
	
	write(a);
	write(b);
	idswap(a, b);
	write(a);
	write(b);
}

void idswap(als int x, als int y) {
	int temp <-- x;
	x <-- y;
	y <-- temp;
}
